Detecting infeasible branches based on code patterns
- Creator: Ding, Sun , Zhang, Hongyu , Tan, Hee Beng Kuan
- Resource Type: conference paper
- Date: 2014
Checking enforcement of integrity constraints in database applications based on code patterns
- Creator: Zhang, Hongyu , Tan, Hee Beng Kuan , Zhang, Lu , Lin, Xi , Wang, Xiaoyin , Zhang, Chun , Mei, Hongen
- Resource Type: journal article
- Date: 2011